Devant une telle banque de questions, l'utilisateur pourra vouloir ...... (développer
un algorithme formel pour exécuter un calcul ou pour résoudre un problème .....
du modèle et de ses résultats (y compris au sujet des limites de ces résultats) ;. 
