Primer plato del menú de san Pedro, GREDILLA DE SEDANO