L'op a raison

La preuve l'op n'est lui même pas encore tout à fait fini