SRS relative termination started -- Claude Marché | tel: +33 1 72 92 59 69 INRIA Futurs - ProVal | mobile: +33 6 33 14 57 93 Parc Orsay Université - ZAC des Vignes | fax: +33 1 74 85 42 29 3, rue Jacques Monod - Bâtiment N | http://www.lri.fr/~marche/ F-91893 ORSAY Cedex |