Types complexes de retour fonctionnels