Développement d'une monade numérique pour le jardinage des projections algorithmiques