Implementing reductions

Le module est fonctionnel.