Iglesia de San Pedro, baptisterio, OLIAS DEL REY