#14: quelques modifs de code