2.9 Ensembles, décidabilité, et complexité d'algorithmes (?) ..... Ces notes sont
en partie inspirées du livre Théorie des Graphes de Jacques Labelle, surtout
pour ...... Comme test (probabiliste) de primalité pour q, on peut vérifier pour un ... 
