exerice 1.2.6 def