K5(7, 3) <= 100. - Guillaume Gommard; Alain Plagne (J. Comb. Theory A, 2003)