correction de petits détails pour sphinx et les documents