Modèl:veire/teorema