mise à jour de la javadoc pour la classe Serveur...