L’Agence nationale de recherches (ANRS) reçoit 3,5 millions d’euros supplémentaires