Rational homotopy theory in arithmetic geometry, applications to rational points