Title: Une sémantique algébrique pour une spécification différenciee des exceptions et des erreurs