redo fait reste que l'appel de ces fonction