Nous présentons ici une étude relative aux applications entre monoïdes, que nous nommerons transductions, qui peuvent être réalisées par un transducteur (machine séquentielle généralisée). L'exposé s'oriente sur l'examen des conditions caractérisant de telles applications. Le point de départ est le théorème de Ginsburg-Rose [2], qui caractérise les transductions entre monoïdes libres de type fini, en termes de quatre conditions dont une, la condition de “bounded output”, implique la longueur des mots et, par conséquent, ne peut être formulée que dans un monoïde libre. A l'aide d'un langage propre aux structures algébriques en général, celle des congruences, nous étudions des conditions remplaçant ‘'bounded output”, pour généraliser le théorème connu aux monoïdes quelconques et aux monoïdes libres quelconques.