Goigs de sant Enric, la seva festa és ara el dia 13 de juliol