Copyright (C) 2010-2012  Pietro Abate <pietro.abate@pps.jussieu.fr>
                         Ralf Treinen <ralf.treinen@pps.jussieu.fr>
                         Unversité Paris-Diderot
 
This documentation is free software: you can redistribute it and/or
modify it under the terms of the GNU General Public License as
published by the Free Software Foundation, either version 3 of the
License, or (at your option) any later version.
