Les Portoricains se réjouissent du succès du créateur de « Hamilton », Lin-Manuel Miranda