Dynamic Dispatch Tableaux virtuels