Batch thumbnail generation thanks to two elements

A modification of createthumb.php allows to generate the thumbnail for the first file which has no thumb

A cron job invoked each minute will call that script through wget (using the same mechanism that selfoos uses, in fact)
and will, after one or two days, generate thumbs for all the files that are on server