Lunes des planètes géantes : définitions