[...]
> J'aimerais bien virer tous ces doublons. En fait, ce ne sont pas de vrais
> doublons, car le robot les a effectivement envoyé 2 fois, donc les headers
> ne sont pas identiques (il y a des id et des heures qui changent).
>
> Existe-t-il un utilitaire pour ça ?
Si c'est pour lurker, tu t'en fout, lurker est capable de gérer les
doublons.