Formalisation et automatisation de preuves en analyses réelle et numérique