École thématique autour de la conjecture de Baum-Connes et du principe d'Oka en géométrie non-commutative