DEVELOPMENT OF A FORMAL FRAMEWORK FOR USABLE OPERATIONS SUPPORT | DealShopping France