La pompe Divertron 1200 est-elle adaptée aux besoins intensifs ?