Quand la forme d'un théorème détermine son fond