Universal Pairs for Diophantine Equations. - Marco David; Théo André; Mathis Bouverot-Dupuis; Eva Brenner; Loïc Chevalier; Anna Danilkin; Charlotte Dorneich; Kevin Lee; Xavier Pigé; Timothé Ringeard; Quentin Vermande; Paul Wang; et al. (Arch. Formal Proofs, 2025)