Synchronous Gathering without Multiplicity Detection: a Certified Algorithm. - Thibaut Balabonski; Amélie Delga; Lionel Rieg; Sébastien Tixeuil; Xavier Urbain (Theory Comput. Syst., 2019)