Énoncé déjà établi et qui constitue une base de référence dans la démonstration d'une nouvelle proposition.
