une demi-infinité suffit