Les ouvriers du temps : ornamental clocks and clockmakers in eighteenth century Paris