Complément de la servlet API en accord avec le fichier api.md