Des armes de construction massive : types inductifs et prédicats inductifs