<?php //App%255CEntity%255CCursus%2523getFicheFormations

return [PHP_INT_MAX, []];