Taille du marché des désignateurs laser militaires (3 809,17 millions USD) d’ici 2032, par type (désignateur laser pompé par lampe, désignateur laser pompé par diode à semi-conducteurs, autres), par applications couvertes (armée de l’air, armée de terre) et prévisions régionales jusqu’en 2032