Analyse numérique d'inéquations associées à des problèmes de temps d'arrêt optimaux en contrôle stochastique — Jean-Pierre Quadrat, Maurice Goursat