Théorie de l'extensio — Eugène Michel