Nous verrons comment les calculs de représentations galoisiennes présentés dans l'exposé précédent peuvent être certifiés, en s'appuyant sur la conjecture de modularité de Serre et des calculs explicites de cohomologie des groupes.