Revert "Commit propre"

This reverts commit beaeeea32bdeb7196c469ef51b3b534c73313991.