- if ($GLOBALS['taille_max']*$GLOBALS['taille_max']-$GLOBALS['taille_min']*$GLOBALS['taille_min']<50000){
- ecrire_meta('max_taille_vignettes',$t=($GLOBALS['taille_min']*$GLOBALS['taille_min'])*0.9,'non');
- echo round($t/1000000,3).' Mpx';
+ if ($GLOBALS['taille_max'] * $GLOBALS['taille_max'] - $GLOBALS['taille_min'] * $GLOBALS['taille_min'] < 50000) {
+ $t = ($GLOBALS['taille_min'] * $GLOBALS['taille_min']);
+ if ($GLOBALS['taille_min'] !== $GLOBALS['taille_max']) {
+ $t = $t * 0.9; // marge de securite
+ echo round($t / 1000000, 3) . ' Mpx';
+ } else {
+ // c'est un cas "on a reussi la borne max initiale, donc on a pas de limite connue"
+ $t = 0;
+ echo "∞";
+ }
+ ecrire_meta('max_taille_vignettes', $t, 'non');