//
// Created by Théo Monnom on 16/08/2022.
//

void LKPrintDevices();