6 exercices guidés (encadrements, bornes, écriture quantifiée)