ajout du troisième cours (logique de premier ordre - suite)