Vérification-correction de programme pour la prise en compte des incertitudes en programmation automatique des robots