Formalisation et exploitation des contraintes Produit/Process pour la conception de systèmes de production : Application à l'Usinage Grande Vitesse