En topologie, un espace localement compact est un espace séparé qui, sans être nécessairement compact lui-même, admet des voisinages compacts pour tous ses points. On peut y généraliser (au moins ...

Ici, Bernard se contente de faire le « tour de l'univers » à vitesse constante en suivant une trajectoire « fermée » de l'espace alors qu'Alain y reste immobile. Comme Bernard ne fait jamais demi-tour ...