Maj spec: décomposition framework - exemple, introduction