Ta démonstration peut trouver naturellement sa place dans une refonte de <url> à laquelle je songe (mais je songe plus que n'agis) où il serait explicité précisemment les différentes TL, plusieurs manières de les trouver (dont celle d'Einstein qui part de l'hypothèse de la causalité et ne trouve que les TSL), leur structure et justement leur réalisme et utilisation respectifs. Ambitieux, mais qu'en pensestu ?