modification des notations

Edouard, est-ce que tu peux poursuivre ces modifications ?