Vers une aide au débuggage des SMA par l'exploitation d'échecs de preuve