Pappus' Theorem and Pascal's generalization (1/4)