Encodeur fonctionnel