La définition des performances dans les contrats de logiciels