Correction du test d'Arthur pour compilation sous Mac