Introduction to pro-p groups and p-adic analytic groups (Held in ChCh, Tom Gate, Room 2)