Aristote formalise la solidité FRI dans @leanprover 🔥