Un "élévateur mobile" est: