Benoît Legat: Set programming: theory and computation. Catholic University of Louvain, Louvain-la-Neuve, Belgium 2020