Lanterne pour waterbox de pompe