Royal Judo Club Pepinster, club de boxe ou d'arts martiaux