waiting
Le Diko - Théorème de la dimension pour les espaces vectoriels