Démonstration de carte minimale