Recouvrement avant de programmes sous les hypothèses de spécifications déterministes et non déterministes — Ali Jaoua