7 Jun
                
                    2004
                
            
            
                7 Jun
                
                '04
                
            
            
            
        
    
                5:04 p.m.
            
        impossible de placer un breakpoint dans mlc/contract.hh car ce fichier n'apparaît pas sous ddd (après compil avec -ggdb ou -ggdb3 et, bien sûr, sans -DNDEBUG)