@if(Session('type_user') != 4) @php // $infos = DeviceInfos(); $devices = GetDevices(); @endphp @endif