Recettes gratin de pates au jambon facile

60 g de beurre, 2 tomates, 125 g de comté, 125 g de cheddar (ou, à défaut, de gouda), 2 tranches de jambon de Paris, 8 tranches de pain de mie grand modèle, sel, poivre, 4 c. à soupe de bière blonde, 1 c. à soupe de moutarde