<?php //App%255CDomain%255CExercice%255CExercice%255CModel%255CExercice%2523getNbGardiens

return [PHP_INT_MAX, []];