Micromask, le masque de plongée petit, léger mais costaud