Measures and LMI for space launcher robust control validation