principe de Hasse