Échec de la reconstruction : "extconf a échoué, code de sortie 1" -- à cause d'un ancien Docker ?