Quelle devrait être la dose quotidienne optimale de supplémentation en vitamine D3 pour un adulte ?