waiting
Le Diko - théorème de Frege