Au cas où vous l'auriez manqué : Aristote formalise désormais automatiquement des articles mathématiques entiers