Gratin de coquillettes jambon, comté