Découverte d'un bug désastreux dans l'utilitaire Linux curl, et déploiement de correctifs