Un peu de théorie des nombres et de calcul formel au ... - ENS Lyon