Un bidon plein pèse 32 kg. A moitié vidé, il pèse 18,5 kg. Combien pèse le bidon vide?​