RAFFINEMENT ET METHODES FORMELLES