gistfile1.txt

<?php 
 
public function isAccessOk((array)$abonnements, (array)$userGroupes)
{
    $abonnements = array_flip($abonnements);
    $userGrp = array_flip($userGroupes);
    $at = array_merge($abos, $userGroupes);
 
    return (bool)(count($at)<(count($abonnements)+count($userGroupes)));
}