Nakon što je u 26 godina odigrao 137 utakmica za Andoru, 43-godišnji Ildefons Lima oprostio se od reprezentacije, okončavši tako najdužu međunarodnu karijeru u muškom nogometu. Lima je debitirao za Andoru 1997., sa 17 godina, u porazu 4:1 od Estonije, što je bila druga službena međunarodna utakmica te zemlje. Zabio je 11 golova za Andoru i bio je kapetan reprezentacije. Guinnessova knjiga svjetskih rekorda objavila je da je Lima postigao rekord kao nogometaš s najdužom međunarodnom igračkom karijerom, a oprostio se u susretu koji je Andora izgubila od Švicarske 3:0 u kvalifikacijama za Euro 2024.