09 Jun Jacky Déclaration de Leiden sur l'IA et les Mathématiques : Enjeux et Recommandations 2026 Lire la suite
06 May Jacky Pourquoi Lean n'est pas le seul assistant de preuve : histoire et alternatives Lire la suite
08 Apr Jacky Hobbies Technologiques de Niche : 12 Passions Innovantes à Explorer en 2026 Lire la suite
