by the way my dash core v0.12.0.58 is on the reseau (three bars on the net out of 4) but does not sync any more. Is it normal ?
Depends if your wallet is synced to latest block or not. You can check latest block here :
https://chainz.cryptoid.info/dash/and verify that with your wallet latest block under Tools - Information.
Be aware there are several steps of syncing going on in the wallet :
- syncing of the blockchain
- syncing of masternodes
- syncing of masternode winners
- other syncings
The syncing of the blockchain is normally the fastest ongoing sync, the other syncings will take some time.
If it turns out your wallet is out of sync with the blockchain and it does not seem to be syncing any further, you can :
A : stop the wallet and restart your wallet
or
B : stop the wallet and delete your peers.dat (which is located in the same directory as your wallet.dat*) and restart your wallet
* do not delete your wallet.dat !