peut-être mais c'est du code déplacé tel quel, le changer sort peut-etre de la préoccupation de cette PR. #402 est sans doute un meilleur endroit.