Modification mineure de la documentation.