coudes rayés au jambon et petits pois

pour 4 personnespréparation 40mn- 500gr de coudes rayés (gros macaronis coudés lignés en relief)- 100gr de petits pois surgelés ou en conserve- 400gr de jambon- 1 petite boite de tomates pelées- gruyère râpé- 1 oignon- sel, poivre, thym et laurierPréparez une sauce en faisant revenir l'oignon émincé dans du beurre et en ajoutant les tomates pelées, sel poivre, thym et laurier. Faites cuire