A Jensen inequality for partial traces and applications to partially semiclassical limits