(See https://gitlab.epfl.ch/2023-softwareconstructionstaff/course-material/-/merge_requests/421#0e1b0df655d10c7634308d2574f0a550ebd8fc68)