axiomes de Huzita-Justin