13,1 milliards d’euros pour les doses de vaccins