La Guerre de Troie n'aura pas lieu, de Jean Giraudoux