On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications