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