[cite] Mauro:[/cite]Al momento non ho trovato riferimenti nel manuale, ma anche io le ho sempre rimischiate (e Michele lo ha fatto a Modena).
Noi invece non lo facciamo, rimescoliamo quando le carte stanno per finire.
Da un punto di vista statistico, la differenza è minimale se non nulla, visto che alla fine c'è sempre un CONFRONTO di carte estratte con carte estratte, e non una verifica di ciò che viene estratto contro un parametro fisso.
Insomma, fate come volete.