Nous sommes actuellement au début de la phase Erdős Rush du Proof Boom😅 @HarmonicMath