#5749: supprimer un commentaire fonctionnel.