Axiomes independants pour les algèbres de Brouwer