Final analysis of ELAIS 15-mu m observations: Method, reduction and catalogue