>>810みたいなのがブルバキを貶めている張本人なんだけどな。