Dernier commit avant merge du PR de Mathieu Leochmach.