Revert "Ludovic"

This reverts commit eed52c963709232299a8d57b2ad701d852f1a82e.