Il est de combien le patrimoine de Mélenchon ?