Spécification des logiciels — Alain Vailly, Pascal André