PHP: modif mineure des réglages