Open Higher Education Initiatives in the Formal Sciences «La générale Bourbaki aux commandes de la Force révolutionnaire du ruban jaune en marche vers Paris-XI» ｢布爾巴基將軍率黃絲革命軍向巴黎十一大前進｣