Construction de BRST pour le champ à spin infini sur AdS₄ | Synapse