Modélisation aléatoire en fiabilité des logiciels — Olivier Gaudoin, James Ledoux