temps Afficher_temps temps : temps temps 1 AND EQ LTE a temps 1 b GT temps 1 temps -1