Title: Spécification Formelle des Services Web à Interface Flexible