Ušao je u Guinnessovu knjigu rekorda: U mirovinu odlazi igrač s najdužom reprezentativnom karijerom

Nakon što je odigrao 137 utakmica za Andoru tijekom 26 godina  Ildefons Lima je u utorak upisao svoj posljednji nastup ...