Revert "Mise au propre"

This reverts commit aace9e43e330393d234f984a2b8b495aa1b52ae0.
Revert "Revert "Mise au propre""

This reverts commit c3b32315562f253679a7695062e5a44adb99d2e0.