Gaudi's design for floor tiles in Casa Mila, reused for paving tiles on the street