[Dip]

J’ai écrit un commentaire qui a disparu aussitôt que je l’ai modifié. Un bug?