Mica Vertical Launch Short-Range Air-Defence System, France