Méthodes de démonstration mathématique de la relativité générale