Devait-il , comme quelques uns le proposaient,