Qu’est-ce qu’un contrôleur à effet Hall ?