Title: Champs quantifies dans un champ exterieur