Proposition pour introduire le métabolisme en logique — Romain Sarnel