Une Sémantique algébrique pour une spécification différentiée des exceptions et des erreurs — Gilles Bernot