Logiques pour les langages fonctionnels et l'ordre supérieur