spareil, lemmes, conjectures, corollaires, toussa...