Formalisation of the paper Error Bounds On Complex Floating Point multiplication with FMA