PAGURI: a user experience study of creative interaction with text-to-music models