ok grazie undefined index risolto, ma non salvo il valore nella sessione correttamente...
Codice PHP:
                            <option value="<?php echo $value?>
                                <?php 
                                
if (isset($_SESSION['selezionaTipoDoc'])) { 
                                 
$value $_SESSION['selezionaTipoDoc']; 
                                    if(
$_SESSION['selezionaTipoDoc'] == $value) echo 'selected';
                                } 
                                 
?>
                                    >
                                <?php 
                                
                                
echo $value?>
                            </option>
ad ogni refresh ripresenta sempre il primo della lista