minor updates in sem1/exercices