p-adic heights and p-adic L-functions learning seminar