Notices
The material in this guide is Copyright(c) INRIA and others, 2004-2008.
Terms and conditions regarding the use of this guide.