Pantalone corto, short, bermuda