Síntesis completa para los módulos completamente parametrizables