s'il y avait une liste de niveaux officielle pour les preuves mathématiques, la preuve par contradiction serait facilement en S-tier, n'est-ce pas ?