AGRAMONT, a Spanish town in the province of Catalonia, with 3000 inhabitants.