Tel est manifestement le cas, en l'espèce, d'autant que le défendeur a donné explicitement à connaître qu'il continuerait d'emprunter cette voie avec sa science (...) et qu'il ne s'est pas distancié des publications litigieuses. A la demande d'interdiction peut être associée une demande d'imposition au défendeur, en cas de non-respect de l'interdiction, de cessation, d'une peine d'emprisonnement sur le fondement de l'article 292 du code pénal ou d'une peine d'amende (BGE 79 II 420). Cette sanction doit être complétée par celle prévue à l'article 403 du code de procédure civile.
(...) »
b) Devant le Tribunal fédéral
23.