JUSTIFIER que deux nombres premiers sont forcément premier entre eux