1. No category

Une condition de finitude des monoïdes finiment engendrés