Merci de ta réponse, Apollo, et excuse mon silence, due à une absence de quelques jours.
VirusTotal ne trouve rien. Voici ses résultats d'analyse : VirusTotal - Free Online Virus, Malware and URL Scanner
Java est à jour ; pas d'anciennes versions installées.
Puis-je considérer qu'il s'agissait d'un faux positif ?