Lannexe contient une description dun théorème mathématique. Comme mis en œuvre dans lapplication recherche facile.