Démonstration de godemichet