* Encodage des caractères pour la javadoc