// PDF.js : désactiver le worker avant toute initialisation (le fichier .worker.js n'est pas servi)