History of an irrigation canal: the 'Real Canal de la Infanta', Barcelona, Spain | Publicación