Pic de Sanfonts is a mountain in the Pyrenees on the border of Spain and northwest Andorra. The nearest town is Arinsal, La Massana. It is a subpeak of, and 1.2 km southwest of, Coma Pedrosa, the highest mountain in Andorra. Wikipedia