riego/prod: links for lambdapi