P-adic paths