exercice 05.01 non def