Hello everybody, Thanks for you tests and information.
In fact, these *-tmp-* files remain when the PDF is produced within Frescobaldi, but not when using Lily on the command line. It turns out this stems from Frescobaldi's LilyPond preferences: for some reason, the ‘remove intermediate files’ box was unselected… Don’t know how that happened. Sorry for the noise! JM
