Je reposte un petit commentaire car je n’ai toujours pas eu de réponse à ma question : comment prouver que t0 et t1 existent ?
Pour moi, t1 n’existe pas, ce qui invalide tout le reste !