Conception de logiciels sûrs de fonctionnement — Catherine Hourtolle